On automatic class insertion with overloading
نویسندگان
چکیده
منابع مشابه
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL
Checking models for correctness or compatibility using standard formal modeling techniques such as OCL has merits in abstraction and compactness. However, it is inconvenient for developers, since there are no standard mechanisms how to handle large and complex OCL constraints. Therefore, this paper presents an approach how to split complex OCL constraints into multiple ones by defining helper f...
متن کاملBuilding Algebra Systems by Overloading Lisp: Automatic Differentiation
In an earlier paper [4] we began a discussion of the use of overloaded languages for support of computer algebra systems. Here we extend that notion to provide a more detailed approach to Automatic Differentiation or Algorithm Differentiation (AD). This paper makes three points. 1. It is extremely easy to do express AD by overloading in Common Lisp. 2. While the resulting program is not the mos...
متن کاملOperator Overloading as an Enabling Technology for Automatic Diierentiation
We present an example of the science that is enabled by object-oriented programming techniques. Scientiic computation often needs derivatives for solving nonlinear systems such as those arising in many PDE algorithms, optimization, parameter identiication, stii ordinary diierential equations, or sensitivity analysis. Automatic diierentiation computes derivatives accurately and eeciently by appl...
متن کاملEfficient Expression Templates for Operator Overloading-based Automatic Differentiation
Expression templates are a well-known set of techniques for improving the efficiency of operator overloading-based forward mode automatic differentiation schemes in the C++ programming language by translating the differentiation from individual operators to whole expressions. However standard expression template approaches result in a large amount of duplicate computation, particularly for larg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1996
ISSN: 0362-1340,1558-1160
DOI: 10.1145/236338.236364